* Add property check quote command
* Add property test trim function
* Fix biased test cases for trim function
* Stack lock
* Separated property tests from other tests
* Fixes on imports
* PR quickcheck
* Remove wrong comment
* Add property test for generic and ungeneric command
* Refactoring isCmdString function
* Fix conflicts
* Add quickchek part 1
