Add the ability to analyze ATL for const-ness.