Declaration getMethodASTEclipse(loc methodLoc, M3 model = m3(|unknown:///|))
import lang::java::jdt::m3::Core;