stlc phases with examples