changed colors of statement, define, include, precondit