SimpleSAMLphp Module AttributeValueFilter