Fix a bug related to the subtype polymorphism. Thanks XuDi for this bug report.
Merge branch 'Lab3' of https://github.com/bjhua/tiger into Lab3