Tests whether a number is odd.
isodd
Flavor:Instance B ← isodd BI
B ← isodd BI
Flavor:Blueprint B ← isodd BI