Added tests CFG <-> PDA for phase 1 workshops