Add parser+solver test