More resolving/ast tests