Made the locals keyword optional before local variable declarations;
added parsing of assert and assume with statement.