initial version
CHECK_PROPERTY results
updated readme