rule "using declared function 'nein'"
when true == nein()
then
end