adding evaluation for STLC