Generate inlining predicate for defconstrainedrecord + tests

Signed-off-by: fogus <mefogus@gmail.com>