Fixed semantic checking issues. dfs.lrx passes semantic analysis now