Constraint testing if side is Fibonacci number

Removed reliance on fibonacci domain.
?