changed parser input from microc program type to SEAL program type