drop 'vile hack' by restricting state changes of AttributeNode during infer_type() to what analyse_types() does