if bool-exp exp0 exp1
这是编程语言里最常见的if表达式，
在异星工厂可以判断输入信号作为bool-exp，然后根据结果分支到exp0或exp1，在工厂里这两个表达式类型是信号。