Just like we have the VariableAccess class, we should have a ConstAccess class with a Const getConst() predicate for retrieving the constant being accessed. getConst can be implemented by directly calling resolvePath from PathResolution.qll library. Test cases should be added as well.