checks for return val, assignment, conditionals, etc.
more property checks