cd ..
./language -t bi demo/lambda_calculus.crf