Prototyping: Removed unused imports, eliminated warnings
Prototyping: Added example program with multiple policies