Unterstützung von boolschen C++-Funktionen für formale Verifikation

Signed-off-by: TheTesla <stefan.helmert@gmx.net>