Removed the type node_prop from lustrePath.ml. I didn't think it was different enough from
LustreExpr.state_var_source to warrant having another type.