Init: explores negation semantics
Init: explore while() semanatics