Change atomic formulas to have const members to be in line with other formula types.