Changed semantic.ml to allow continue and break inside of if statements.