support for relational properties and faulting

Signed-off-by: Andreas Zöllner <andi@go-for-fun.de>