added inv_pos, fixed constant atoms tests