Function decide_divisible 

pub fn decide_divisible(n: u32, d: u32) -> Decision<()>

Decide whether n is divisible by d.

Returns IsFalse if d == 0.