Added neg + calls contract
Added neg + calls contract
Added disjunction contract example + check for while function