moving SATParser. Fixing errors