add missing not and false prop
refactor propertyvisitor: add return value
start ltl checker